1. FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings
المؤلف: John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Congresses ، System design
رده :
QA
76
.
L28
Vol
.
3582
